<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>[1423252] missing text node, and font propagation</title>
</head>
<body>
<font color="red">a</font>
<dl>
<dt><font color="red">b</font></dt>
</dl>
<dl>
<dt><font color="red">c</font></dt>
</dl>
</body>
</html>
